Monoids with indexes added at both ends are also monoids
data[i] = (l, r, value)
(l1,r1,v1) op (l2,r2,v2) = (l1,r2,v1*v2)
and then Monoids with indexes added at both ends are also monoids.
twitter @maspy_stars monoid
---
This page is auto-translated from /nishio/モノイドに両端のインデックスを追加したものもモノイド using DeepL. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I'm very happy to spread my thought to non-Japanese readers.